Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
371	Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) Matthew Flatt Robert Bruce Findler Shriram Krishnamurthi Department of Computer Science∗ Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-11-12 18:17:11 Software engineering Software Computer programming Functional languages Racket Readevalprint loop Monitor Thread safety Standard ML Callback Widget Pipeline
372	Extending Moose for Applications Shawn M Moore Best Practical Solutions 1 Add to Reading List Source URL: sartak.org Language: English - Date: 2009-06-23 12:41:53 Software engineering Computer programming Computing Lisp Functional languages Programming paradigms Object-oriented programming languages Metaprogramming Moose Mason Common Lisp Object System Hy Yet Another Perl Conference
373	MorphScala: Safe Class Morphing with Macros Aggelos Biboudis Eugene Burmako University of Athens Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-07-29 07:43:08 Software engineering Computing Computer programming Object-oriented programming languages Scripting languages Object-oriented programming Programming paradigms Functional languages Metaclass Scala Macro Metaprogramming
374	Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems Tiark Rompf1 , Kevin J. Brown2 , HyoukJoong Lee2 , Arvind K. Sujeeth2 , Manohar Jonnalagedda4 , Nada Amin4 , Georg Ofenbeck5 , Alen Stoj Add to Reading List Source URL: drops.dagstuhl.de Language: English Software engineering Software Computer programming Programming language implementation Compiler construction Functional languages Object-oriented programming languages Parsing Compiler Metaprogramming Preprocessor Interpreter
375	QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-10-12 13:45:57 Software engineering Computer programming Functional languages Software testing Functional programming QuickCheck Random testing Literate programming Procedural programming languages Monad Test data generation Haskell
376	Fold-Based Fusion as a Library A Generative Programming Pearl Manohar Jonnalagedda, Sandro Stucki, EPFL Scala ‘15, Portland, June An Example Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2015-06-14 21:36:50 Software engineering Computer programming Computing Higher-order functions Programming language comparisons Functional languages Object-oriented programming languages Procedural programming languages Scala Fold Map ALGOL 68
377	The Why3 platform Version, May 2016 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2016-05-27 08:19:42 Software Computer programming Proof assistants Functional languages Theoretical computer science Formal methods Logic in computer science Frama-C SPARK Coq Isabelle OCaml
378	Supero: Making Haskell Faster Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Functional languages Recursion Literate programming Fold Haskell Map XS
379	Counter-Example Complete Verification for Higher-Order Functions N. Voirol, E. Kneuss, V. Kuncak EPFL Scala Symposium 2015 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2015-06-14 21:40:26 Software engineering Computer programming Computing Data types Functional languages Functional programming Recursion Sorting algorithms Merge sort Scala List Cons
380	Deriving Generic Functions by Example Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Data types Functional programming Programming language comparisons Procedural programming languages Cons Lisp List Relational operator Map ALGOL 68 Generalized algebraic data type

UPDATE